/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package edu.yonsei.iwb.sdt.refinement;

import java.util.Vector;

/**
 *
 * @author JDK
 */
public class ExpandingHistorySet extends Vector<ExpandingHistory>{
    
}
